Category Theory for Computer Science
http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
http://www.cs-study.com/koga/category/short_explanation_of_Barr_and_Wells_j.html
解説